Let $\Lambda =\left(\begin{array}{cc}A& M\\ 0& B\end{array}\right)$ be an Artin algebra. In view of the characterization of finitely generated Gorenstein injective $\Lambda$-modules under the condition that $M$ is a cocompatible $(A,B)$-bimodule, we establish a recollement of the stable category $\overline{\mathrm{Ginj}\left(\Lambda \right)}$. We also determine all strongly complete injective resolutions and all strongly Gorenstein injective modules over $\Lambda$.